61. Numerical software verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
62. Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24 2003 : revised papers
Author: Rene Alt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer propgrams -- Congresses ، Numerical analysis,Congresses ، Computer software -- Verification
Classification :
QA
76
.
L28
Vol
.
2991
63. Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored
Author: / by : ACM SIGSOFT 8-10= 1991
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer Software--Verification--Congresses
Classification :
QA
76
.
76
.
V47S9
1991
64. Runtime Verification
Author: \ Ezio Bartocci, Rupak Majumdar (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرمافزار -- کنگره ها
Classification :
QA
76
.
76
.
V47
R82
2015
E-Book
,
65. Runtime verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
66. Runtime verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
67. Runtime verification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented programming ; Congresses. ; Computersicherheit. ; swd. ; Datensicherung. ; swd. ; Echtzeitsystem-Computer software ; Verification ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ; Aspect
68. Runtime verification
Author: Sarfraz Khurshid, Koushik Sen (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
R8
2011eb
69. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
70. Runtime verification :
Author: Axel Legay, Saddek Bensalem (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
R8
2013
71. SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings
Author: Klaus Havelund, John Penix, Willem Visser )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
Classification :
QA
76
.
L28
Vol
.
1885
72. System specification and design languages
Author: Tom J. Kaźmierski, Adam Morawiec, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
Classification :
TK7885
.
7
.
F35
2010eb
73. Tests and Proofs
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرمافزار -- آزمایش -- کنگره‌ها,نرمافزار -- راستی‌آزمایی -- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره‌ها
Classification :
E-Book
,
74. Tests and Proofs
Author: \ Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses.,Computer software -- Verification -- Congresses.,نرمافزار -- آزمایش -- کنگره ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
76
.
T48
2015
E-Book
,
75. Tests and proofs
Author: Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
T48
T37
2012eb
76. Theoretical and Practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5th 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Author: Dennis Dams...]et al.[, )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
Classification :
QA
76
.
L28
Vol
.
1680
77. Theory and Applications of Satisfiability Testing – SAT 2015
Author: \ Marijn Heule , Sean Weaver (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتم‌های کامپیوتری -- کنگره ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها ,الگوریتم‌های کامپیوتری
Classification :
QA
76
.
9
.
A43
2015
E-Book
,
78. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
79. Tools and Algorithms for the Construction and Analysis of Systems
Author: \ Christel Baier, Cesare Tinelli (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA76
.
9
.
T33
2010
E-Book
,
80. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
